lattice monomorphism

См. также в других словарях:

• Abelian category — In mathematics, an abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have desirable properties. The motivating prototype example of an abelian category is the category of… …   Wikipedia

• Isomorphism theorem — In mathematics, specifically abstract algebra, the isomorphism theorems are three theorems that describe the relationship between quotients, homomorphisms, and subobjects. Versions of the theorems exist for groups, rings, vector spaces, modules,… …   Wikipedia

• Dual (category theory) — In category theory, a branch of mathematics, duality is a correspondence between properties of a category C and so called dual properties of the opposite category Cop. Given a statement regarding the category C, by interchanging the source and… …   Wikipedia

• Duality (mathematics) — In mathematics, a duality, generally speaking, translates concepts, theorems or mathematical structures into other concepts, theorems or structures, in a one to one fashion, often (but not always) by means of an involution operation: if the dual… …   Wikipedia

• Equivalence of categories — In category theory, an abstract branch of mathematics, an equivalence of categories is a relation between two categories that establishes that these categories are essentially the same . There are numerous examples of categorical equivalences… …   Wikipedia

• Category of topological spaces — In mathematics, the category of topological spaces, often denoted Top, is the category whose objects are topological spaces and whose morphisms are continuous maps. This is a category because the composition of two continuous maps is again… …   Wikipedia

• Subobject — In category theory, there is a general definition of subobject extending the idea of subset and subgroup.In detail, suppose we are given some category C and monomorphisms: u : S rarr; A and: v : T rarr; A . We say u factors through v and write :… …   Wikipedia

• Structure (mathematical logic) — In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations which are defined on it. Universal algebra studies structures that generalize the algebraic structures such as… …   Wikipedia

• Injective object — In mathematics, especially in the field of category theory, the concept of injective object is a generalization of the concept of injective module. This concept is important in homotopy theory and in theory of model categories. The dual notion is …   Wikipedia

• List of mathematics articles (M) — NOTOC M M estimator M group M matrix M separation M set M. C. Escher s legacy M. Riesz extension theorem M/M/1 model Maass wave form Mac Lane s planarity criterion Macaulay brackets Macbeath surface MacCormack method Macdonald polynomial Machin… …   Wikipedia